p1(a) :- a.
p1(b) :- b.
p1(c) :- c.

a. b. c.
%%%%%%%%%%%%%%%%
p1(a) :- a.
p1(c) :- c.

a. c.
